package sat;

import sat.exceptions.ParseException;
public class StringToolkit {
    /**
     * Prosta funkcja wycinająca białe znaki i zdejmująca zewnętrzne nawiasy.
     * @param meat tekst do przetworzenia
     * @return tekst przetworzony
     * @throws ParseException 
     */
    public static String strip(String meat) throws ParseException{
        meat=meat.replace(" ", "");
        meat=meat.replace("\t","");
        while(meat.charAt(0)=='('){
            if(meat.endsWith(")")){
                meat=meat.substring(1, meat.length()-1);
            }else{
                throw new ParseException("Parentheses nesting problem");
            }
        }
        return meat;
    }
}
